(0 18 15)(1 19 3)(2 14 12)(4 9 7)(5 16 6)(8 17 10)(11 20 13)
ALLOWS (11/8)-SEQUENCE
1: (11 13 20)
(0 18 15)(1 19 3)(2 14 12)(4 9 7)(5 16 6)(8 17 10)(11 13 20)
2: (2 14 12)
(0 18 15)(1 19 3)(2)(4 9 7)(5 16 6)(8 17 10)(11 13 20)(12)(14)
3: (11 13 20)
(0 18 15)(1 19 3)(2)(4 9 7)(5 16 6)(8 17 10)(11)(12)(13)(14)(20)
4: (1 19 3)
(0 18 15)(1)(2)(3)(4 9 7)(5 16 6)(8 17 10)(11)(12)(13)(14)(19)(20)